2

Model-Checking Linear-Time Properties of Quantum Systems

Année:
2014
Langue:
english
Fichier:
PDF, 359 KB
english, 2014
7

Distinguishability of Quantum States by Separable Operations

Année:
2009
Langue:
english
Fichier:
PDF, 267 KB
english, 2009
11

Quantum programming: From theories to implementations

Année:
2012
Langue:
english
Fichier:
PDF, 416 KB
english, 2012
12

Assets in Place, Growth Opportunities, and IPO Returns

Année:
2005
Langue:
english
Fichier:
PDF, 634 KB
english, 2005
13

Model checking quantum Markov chains

Année:
2013
Langue:
english
Fichier:
PDF, 357 KB
english, 2013
15

Termination of nondeterministic quantum programs

Année:
2014
Langue:
english
Fichier:
PDF, 285 KB
english, 2014
17

Four Locally Indistinguishable Ququad-Ququad Orthogonal Maximally Entangled States

Année:
2012
Langue:
english
Fichier:
PDF, 113 KB
english, 2012
19

Five two-qubit gates are necessary for implementing the Toffoli gate

Année:
2013
Langue:
english
Fichier:
PDF, 147 KB
english, 2013
25

Domain Invariant Transfer Kernel Learning

Année:
2015
Langue:
english
Fichier:
PDF, 838 KB
english, 2015
26

Femto slider: fabrication and evaluation

Année:
2003
Langue:
english
Fichier:
PDF, 801 KB
english, 2003
46

Identification and characterization of twogcvAgenes inSinorhizobium meliloti

Année:
2009
Langue:
english
Fichier:
PDF, 842 KB
english, 2009